Introduction to Set Theory

Set theory is a branch of mathematical logic that deals with the study of collections of objects. In mathematics, a set is a well-defined collection of distinct objects, called elements, which can be anything: numbers, letters, colors, or even other sets. Set theory is an essential foundation for many areas of mathematics, including algebra, analysis, and geometry.

Notation and terminology

In set theory, sets are denoted by capital letters, and their elements are enclosed in braces {}. For example, the set of natural numbers from 1 to 5 can be denoted as

The symbol $\in$ is used to indicate an element belongs to a set. For example, $3 \in \{1, 2, 3, 4, 5\}$ means that 3 is an element of the set. The symbol $\notin$ is used to indicate an element does not belong to a set. For example, $6 \notin \{1, 2, 3, 4, 5\}$ means that 6 is not an element of the set.

Set operations

Set theory provides several operations to create new sets from existing sets. The most common set operations are:

Union

The union of two sets $A$ and $B$, denoted by $A \cup B$, is the set of all elements that belong to $A$ or $B$, or both. For example,

Intersection

The intersection of two sets $A$ and $B$, denoted by $A \cap B$, is the set of all elements that belong to both $A$ and $B$. For example,

Difference

The difference of two sets $A$ and $B$, denoted by $A \setminus B$, is the set of all elements that belong to $A$ but not to $B$. For example,

Complement

The complement of a set $A$ with respect to a universal set $U$, denoted by $A'$ or $A^c$, is the set of all elements that belong to $U$ but not to $A$. For example, if $U$ is the set of all natural numbers, then

Cartesian product

The Cartesian product of two sets $A$ and $B$, denoted by $A \times B$, is the set of all ordered pairs $(a, b)$ such that $a \in A$ and $b \in B$. For example,

Axioms of set theory

Set theory is founded on a few basic concepts and axioms, which are assumed to be true without proof. The most commonly used axioms of set theory are:

Axiom of extensionality

Two sets are equal if and only if they have the same elements. That is, if $A$ and $B$ are sets, then $A = B$ if and only if for every element $x$, $x \in A$ if and only if $x \in B$.

Axiom of empty set

There exists a set with no elements, called the empty set, denoted by $\emptyset$ or $\{\}$.

Axiom of pairing

For any two sets $a$ and $b$, there exists a set that contains exactly $a$ and $b$, denoted by $\{a, b\}$.

Axiom of union

For any set $A$, there exists a set that contains all the elements that belong to any element of $A$, denoted by $\bigcup A$.

Axiom of power set

For any set $A$, there exists a set that contains all the subsets of $A$, denoted by $\mathcal{P}(A)$.

Axiom of infinity

There exists an infinite set, denoted by $\mathbb{N}$, the set of natural numbers.

Axiom of choice

Given any collection of non-empty sets, there exists a way to choose one element from each set. This axiom is controversial and has important consequences, such as the Banach-Tarski paradox.

Conclusion

Set theory provides a powerful and flexible framework for reasoning about collections of objects. Its axioms and operations are simple but elegant, and they have applications in many areas of mathematics and beyond. Set theory continues to be an active area of research, with ongoing developments in topics such as large cardinal theory and the foundations of mathematics.

Links

集合論[JA]